COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	smith[w82,jmc]			Comments on thesis proposal of David E. Smith
C00004 ENDMK
C⊗;
smith[w82,jmc]			Comments on thesis proposal of David E. Smith

p.4 "Meta-level reasoning, then, is reasoning about propositions of this sort".
This statement is misleading and the intent behind it may be mistaken.
The examples given are insufficiently comprehensive.  Most important
is that statements about the relation between a symbol and what it
denotes are meta-level statements.  Thus "'a' denotes a", and "T has
a model over the integers" are meta-level statements.  Thus a useful
metalanguage has to include the subject domain of the object language.
This is often accomplished by including the object language in the
meta-language, although it doesn't have to be done that way.